Unit propagation - PDFSEARCH.IO - Document Search Engine

Unit propagation
Results: 62

#	Item
41	Sudoku as a SAT Problem Inˆes Lynce IST/INESC-ID, Technical University of Lisbon, Portugal [removed] Jo¨el Ouaknine Add to Reading List Source URL: anytime.cs.umass.edu Language: English - Date: 2005-11-17 08:28:24 NP-complete problems Automated theorem proving Logic puzzles Recreational mathematics Constraint programming Sudoku Constraint satisfaction Boolean satisfiability problem Unit propagation Mathematics Theoretical computer science Applied mathematics
42	Artificial Intelligence ELSEVIER Artificial Intelligence[removed]345 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 01:10:58 Automated theorem proving Boolean algebra NP-complete problems Constraint programming Logic in computer science Boolean satisfiability problem Davis–Putnam algorithm Satisfiability Unit propagation Theoretical computer science Mathematics Computational complexity theory
43	Kernel Belief Propagation 1 Le Song,1 Arthur Gretton,1,2 Danny Bickson,1 Yucheng Low,1 Carlos Guestrin1 School of Computer Science, CMU; 2 Gatsby Computational Neuroscience Unit & MPI for Biological Cybernetics Add to Reading List Source URL: www.select.cs.cmu.edu Language: English - Date: 2011-07-19 21:41:57 Graphical models Belief propagation Coding theory Probability theory Normal distribution Mixture model Fold Static single assignment form Low-rank approximation Statistics Probability and statistics Probability
44	On Resolution Proofs for Combinational Equivalence Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-07-30 11:55:07 Automated theorem proving Boolean algebra Propositional calculus Predicate logic Resolution Unit propagation Mathematical proof Davis–Putnam algorithm NP Logic Mathematical logic Mathematics
45	Efficient Implementation of Property Directed Reachability∗ Niklas Een, Alan Mishchenko, Robert Brayton {een,alanmi,brayton}@eecs.berkeley.edu Berkeley Verification and Synthesis Research Center EECS Department Univers Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2012-06-06 17:57:57 Unit propagation Cube Clause Geometry Euclidean geometry Automated theorem proving
46	Error Estimation and Propagation Objectives: improved stability of the MIT MWonly retrieval and more accurate characterization of error characteristics. 1. Include forwardmodel error covari Add to Reading List Source URL: airs.jpl.nasa.gov Language: English - Date: 2007-11-01 11:39:36 Mathematical sciences Humidity Sounder for Brazil Advanced Microwave Sounding Unit Data analysis Probability theory Variance
47	PEGGY GREB (K10801-1) ShortAppleTrees Apple Gennaro Fazio, director of the Plant Genetic Resources Unit, Add to Reading List Source URL: www.ars.usda.gov Language: English - Date: 2003-10-31 10:06:40 Biology Maleae Rootstock Dwarfing Disease resistance in fruit and vegetables Apple Pear Grafting Fruit tree propagation Plant reproduction Agriculture Botany
48	A New Look at Survey Propagation and Its Generalizations ELITZA MANEVA, ELCHANAN MOSSEL, AND MARTIN J. WAINWRIGHT University of California—Berkeley, Berkeley, California Abstract. This article provides a new conceptual Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-07-31 14:18:53 Constraint programming Graphical models Probability theory Logic in computer science Boolean satisfiability problem Belief propagation Markov random field Constraint satisfaction problem Unit propagation Theoretical computer science Applied mathematics Mathematics
49	Learning the Structure of Markov Logic Networks Stanley Kok KOKS @ CS . WASHINGTON . EDU Pedro Domingos PEDROD @ CS . WASHINGTON . EDU Department of Computer Science & Engineering, University of Washington, Seattle, WA 9 Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-12-01 11:15:04 Predicate logic Model theory Automated theorem proving Artificial intelligence Markov logic network Prolog Unit propagation Predicate Markov chain Logic Mathematical logic Linguistics
50	A Comparative Study on Methods for Reducing Myopia of Hill-Climbing Search in Multirelational Learning Lourdes Pe˜ na Castillo Otto-von-Guericke-University Magdeburg, Germany Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-12-01 11:19:41 Automated theorem proving Logic programming Inductive logic programming PROGOL Unit propagation Clause Macro Rule induction Time complexity Theoretical computer science Computer programming Applied mathematics